Porosity the Male Adornments Conjugation Plan which Uses the Metal
نویسندگان
چکیده
منابع مشابه
Proving Termination with Adornments
Proving termination is one of the most intriguing problems of program verification. Recently, the study of termination of numerical programs led to the emerging of the adorning technique. This approach is based on the idea of distinguishing between different subsets of values for variables, and deriving piecewise level mappings based on these subsets. In the current paper we generalise the tech...
متن کاملthe effect of planning time on the oral performance of iranian male and female efl learners بررسی تاثیر فرصت تمهید بر عملکرد گفتاری زبان آموزان با جنسیت متفاوت
چکیده برای دو دهه مطالعات بر روی فرصت تمهید و نقش آن در عملکرد گفتاری زبان آموزان نشان داده است که فرصت برای تمهید جهت انجام کار ((task عموما گفتار فراگیران را بهبود می بخشد (ellis, 2005). فرض بر این است که فرصت تمهید بار ذهنی را در خلال پردازش زبانی کاهش داده و به فراگیران اجازه میدهد تا به جنبه های مختلف زبان توجه کنند و این توجه تسهیل شده در عوض منتج به عملکرد کار موفق تر میشود. پژوهشگرا...
15 صفحه اولthe effect of aqueous extract of garlic on formalin-induced pain in male rats
چکیده اثر عصاره آبی سیر بر درد ناشی از آزمون فرمالین در موش صحرایی نر به کوشش نرگس اسکندری روزبهانی زمینه و هدف: گیاه سیر از خانواده لیلیاسه و گونهallium sativum بومی آسیای میانه بوده و از دوران ،باستان تاکنون به خواص درمانی متفاوت آن مثل: کاهندگی قندخون، کلسترول خون، فشار خون، اثرات مفیدآن بر دستگاه قلبی عروقی و بیماریهای انعقادی خون، اثرات آنتی اکسیداتیو، درمان بیماریهای تنفسی وگوارشی، ا...
15 صفحه اولA Chess Combination Program Which Uses Plans
The program analyses carefully the initial situation. It creates some plans and tries to execute them. It analyses the situations deeper in the tree only if the plan fails. In that case it generates new plans correcting what is wrong in the old one. So, the program considers only natural branches of the tree. It can find combinations for which it is necessary to look more than twenty ply ahead....
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of the Korea Contents Association
سال: 2009
ISSN: 1598-4877
DOI: 10.5392/jkca.2009.9.9.191